A hierarchy of local decision

A Hierarchy of Local Decision

We extend the notion of distributed decision in the framework of distributed network computing, inspired by recent results on so-called distributed graph automata. We show that, by using distributed decision mechanisms based on the interaction between a prover and a disprover, the size of the certificates distributed to the nodes for certifying a given network property can be drastically reduce...

A hierarchy of local TDGs

'.\.tany recent vacidllL~ of Tree Adjoining Grammars (TAG) allow an underspecilication of the parent rela.tion bet ween nodes in a t ree, i.e. they do not deaJ l'<ith fully spec1fied tre~ as it is the ca.se with TAGs. Such TAG variants are for ex'1Il1plc Descnpt1011 Tree Grammurs (DTG) (fuunbow. Vijay-Shanker and Weir 1995), Unoniered \."ector Gmmmars W1.th Dominance Links ( f.:VG-DL) (R.ambow ...

Decision Rules in a Judicial Hierarchy: Comment

A Local Hierarchy Theory for Acyclic Digraphs

Keywords--Local hierarchy theory, Global hierarchy theory, Acyclic digraphs, Generalized Lorenz curve, Citation analysis, Organizational charts. 1. I N T R O D U C T I O N In this article, we complement the global hierarchy theory (in short: GHT) (studied in [1]) by a local theory, referred to as local hierarchy theory (in short: LHT). Global as well as local hierarchy theory can be used in stu...

Modal Logics with a Hierarchy of Local Propositional Quantiiers (abstract)

Although modal logics are most commonly studied in their propositional forms, which may often be interpreted in rst order logic, the topic of modal logics with second order expressive power is almost as old as the eld itself. Motivated by earlier applications of quantiication over propositions in the context of conditional logic, Kripke's early work on the semantics of modal logic Kri59] alread...